body {
	color: #000000 ;
	
	background-color: #FFFFFF ;
	font-family: sans-serif ;
	text-align: justify ;
	margin-right: 20px ;
	margin-left: 20px ;
}

h1 { 
       background-image: url(Lua-Logo_64x64.png);
        background-repeat: no-repeat;
	background-position: top left;
	padding-bottom: 30px;
	padding-left: 80px;
}
h1, h2, h3, h4 {
	font-weight: normal ;
	font-style: italic ;
}

h2 {
	padding-top: 0.4em ;
	padding-bottom: 0.4em ;	
	padding-left: 20px ;
	margin-left: -20px ;
	background-color: #E0E0FF ;
}

h3 {
	padding-left: 8px ;
	border-left: solid #E0E0FF 1em ;
}

table h3 {
	padding-left: 0px ;
	border-left: none ; 
}

a:link {
	color: #000080 ;
	background-color: inherit ;
	text-decoration: none ;
}

a:visited {
	background-color: inherit ;
	text-decoration: none ;
}

a:link:hover, a:visited:hover {
	color: #000080 ;
	background-color: #E0E0FF ;
}

a:link:active, a:visited:active {
	color: #FF0000 ;
}

hr {
	border: 0 ;
	height: 1px ;
	color: #a0a0a0 ;
	background-color: #a0a0a0 ;
}

:xtarget {
	background-color: #F8F8F8 ;
	padding: 8px ;
	border: solid #a0a0a0 2px ;
}
li {
	padding-bottom: 4px;
}
pre {
	padding-top: 5px;
	padding-bottom: 5px;
	margin-left: 20px;
	margin-right: 20px;
	border: 1px dashed #2f6fab;
	color: DarkBlue;
	background-color: #f9f9f9;
	line-height: 1.1em;
}

